Law of total expectation